1

Lower bounds for the lengths of refutations

Year:
1993
Language:
english
File:
PDF, 2.34 MB
english, 1993
2

Elementary Problems: E2826-E2829

Year:
1980
Language:
english
File:
PDF, 225 KB
english, 1980
4

Intersection theorems for group divisible difference sets

Year:
1982
Language:
english
File:
PDF, 1.97 MB
english, 1982
6

Multiplier theorems

Year:
1981
Language:
english
File:
PDF, 1.19 MB
english, 1981
8

Concurrency control in trusted database management systems

Year:
1993
Language:
english
File:
PDF, 758 KB
english, 1993
10

Supplement to multiplier theorems

Year:
1981
Language:
english
File:
PDF, 290 KB
english, 1981
11

E2828

Year:
1981
Language:
english
File:
PDF, 301 KB
english, 1981